Five Paradigm Shifts in Programming Language Design and Their Realization in Viron , a Dataflow Programming Environment
نویسنده
چکیده
We describe five paradigm shifts in programming language design, some old and some relatively new, namely Effect to Entity, Serial to Parallel. Partition Types to Predicate Types. Computable to Dcfinabic, and Syntactic Consistency to Semantic Consistency. WC argue for the adoption of each. WC exhibit a programming language, Viron, that capitalizes on these shifts. ‘This research was supported by NSF gmnt number MCS82-05451.
منابع مشابه
The V experimental visual programming language
The V language design is an experiment with a visual representation of dependencies between data and processes. Dataflow diagrams are most commonly used to represent those dependencies in visual programming languages, for instance, in LabVIEW [Baroth, Hartsough 95], and Prograph [Cox, Gilles, Pietrzykowski 95]. In this paper we consider such data structures as sequences (vectors), and 2-dimensi...
متن کاملDesign of supply chain in fuzzy environment
Nowadays, customer expectations are increasing and organizations are prone to operate in an uncertain environment. Under this uncertain environment, the ultimate success of the firm depends on its ability to integrate business processes among supply chain partners. Supply chain management emphasizes cross-functional links to improve the competitive strategy of organizations. Now, companies are ...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملFunctional paradigm for designing dependable large-scale parallel computing systems
This paper proposes the use of a functional language and of a dataflow computing model for the design of large-scale parallel computing systems for which dependability, in its aspects of reliability, timeliness, parallelism and distributedness are requirements of main concern. The proposed design methodology is sufficiently flexible to allow for verification and validation of such systems from ...
متن کاملLinear Types for Cashflow Reengineering
A while back a major Danish bank approached the programming language group at DIKU for help on designing a language for modelling cash flow reengineering: The process of issuing customised bonds based on income from existing bonds. The idea was to have a simple language that allows non-programmers to describe such reengineering and run statistical simulations of the structures. We describe the ...
متن کامل